Meta-argumentation, An Approach to Logic and Argumentation Theory
نویسندگان
چکیده
منابع مشابه
An Argumentation-Theoretic Approach to Logic Program Transformation
We present a methodology for proving that any program transformation which preserves the least Herbrand model semantics when applied to sets of Horn clauses also preserves all semantics for normal logic programming that can be formulated in argumentation-theoretic terms 3, 4, 16]. These include stable model, partial stable model, preferred extension, stationary expansion, complete scenaria, sta...
متن کاملDoing Argumentation Theory in Modal Logic
The present paper applies well-investigated modal logics to provide formal foundations to specific fragments of argumentation theory. This logic-driven analysis of argumentation allows: first, to systematize several results of argumentation theory reformulating them within suitable formal languages; second, to import several techniques (calculi, model-checking, evaluation games, bisimulation ga...
متن کاملTowards a Logic-Based Theory of Argumentation
There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing conflicting arguments. In these frameworks, if there are a number of arguments for and against a particular conclusion, an aggregation function determines whether the conclusion is taken to hold. We propose a generalization of these f...
متن کاملOn the logic of argumentation theory
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), new techniques (e.g., calculi, model-checking games, bisimulation games), and results (e.g., completeness of calculi, adequacy of games, complexity of model-checking) from logic to argumentation.
متن کاملArgumentation and Propositional Logic
Argumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in Artificial Intelligence (AI). Argumentation is also close to the original inception of logic as a framework for formalizing human debate and dialogue. The purpose of this paper is to draw a formal connection between argumentation and classical reasoning, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informal Logic
سال: 2014
ISSN: 0824-2577,0824-2577
DOI: 10.22329/il.v34i2.4165